Ptom { a Pascal Translator for Mobile Code
نویسنده
چکیده
We report on an implementation of a pascal translator that generates code for mobile software messengers (agents): these agents can roam a network of interconnected execution platforms on behalf of a user, enabling users to implement customized network functionality themselves. In this report we focus on the language extensions (pascal-m) and the implementation aspects of the translator. The main departure in pascal-m from standard pascal is that the programmer has access to the generated code in form of string constants. An interesting aspect of the \pascal-to-MM" (ptom) translator is that pascal-m is translated to the stack-based high-level language MM. MM is similar to postscript and has no notion of memory addresses although pascal compilers usually produce code for machines or software interpreters with word address-able memory: because MM completely hides the exact memory locations of code as well as data, we have to use other implementation approaches for activation frames, variable dereferencing and code xups. Other aspects of the translator implementation like data mapping and heap management are also described. Finally, we relate our work to recent developments in the eld of intermediate code and languages.
منابع مشابه
Optimizations in the Cibyl binary translator for J2ME devices
The Java J2ME platform is one of the largest software platforms available, and often the only available development platform for mobile phones, which is a problem when porting C or C++ applications. The Cibyl binary translator targets this problem, translating MIPS binaries into Java bytecode to run on J2ME devices. This paper presents the optimization framework used by Cibyl to provide compact...
متن کامل9 N ov 2 00 1 WEAP 034 CONVERTING EQUIPMENT CONTROL SOFTWARE FROM PASCAL TO C
The equipment control (EC) software of the GSI accelerators has been written entirely in Pascal. Modern software development is based on C++ or Java. To be prepared for the future, we decided to convert the EC software from Pas-cal to C in a first step. Considering the large amount of software, this is done automatically as far as possible. The paper describes our experiences gained using a Pas...
متن کاملiState: A Statechart Translator
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Pascal, Java, or the Abstract Machine Notation of the B method. The translation proceeds in several phases. The focus of this paper is the formal description of the intermediate representations, for which we use class diagrams together with t...
متن کاملMeeting the software engineering challenges of adaptive mobile applications
A critical factor for the commercial success of mobile and task-specific devices is the fast turnaround time of software development. However, developing software for mobile devices is especially hard since applications need to be aware of and adapt to changing resources such as bandwidth and battery. In this paper we validate that the idea of stub generation can successfully address the comple...
متن کاملRTMPL—A Structured Programming and Documentation Utility for Real- Time Multiprocessor Simulations
The NASA Lewis Research Center is developing and evaluating experimental hardware and software systems to help meet future needs for real-time simulations of air-breathing propulsion systems. The Real-Time Multiprocessor Simulator (RTMPS) project is aimed at developing a prototype simulator system that uses multiple microprocessors to achieve the desired computing speed and accuracy at relative...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996